Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
571	4-5 Nanoelectronics Architectures Ferdinand Peper, LEE Jia, ADACHI Susumu, ISOKAWA Teijiro, TAKADA Yousuke, MATSUI Nobuyuki, and MASHIKO Shinro The ongoing miniaturization of electronics will eventually lead to logic dev Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 18:53:45 Automata theory Asynchronous cellular automaton Nanocircuitry Digital electronics Mathematics Electronics Theory of computation Block cellular automaton Cellular neural network Cellular automata Ferdinand Peper Cellular automaton
572	A COMPARATIVE ANALYSIS OF DYNAMIC NETWORK DECODING David Rybach, Ralf Schl¨uter, Hermann Ney Human Language Technology and Pattern Recognition, Computer Science Department, RWTH Aachen University, 52056 Aachen, Germany Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Finite state transducer Computer science Applied mathematics Computational linguistics Speech recognition Decoder Finite-state machine WFST Algorithm Automata theory Models of computation Theoretical computer science
573	A Topological Perspective on Diagnosis Andreas Bauer, ANU, Australia Abstract— We propose a topological perspective on the diagnosis problem for discrete-event systems. In an infinitary framework, we argue that the con Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Applied mathematics Büchi automaton Muller automaton Omega language Deterministic finite automaton Regular language Nondeterministic finite automaton Formal language Ω-automaton Automata theory Theoretical computer science Computer science
574	Computational Mechanics of Input-Output Processes: Structured Transformations and the ε-transducer Nix Barnett James P. Crutchfield Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2014-12-08 14:27:30 Automata theory Control theory Applied mathematics Cybernetics Formal sciences Finite-state machine Markov chain Feedback Infinite impulse response Models of computation Statistics Mathematics
575	IAENG International Journal of Computer Science, 36:2, IJCS_36_2_05 ______________________________________________________________________________________ Finite Automata Approach to Computing All Seeds of Strings with t Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2009-05-20 16:44:06 Theoretical computer science Mathematics Coding theory Discrete mathematics Nondeterministic finite automaton Levenshtein distance Hamming distance String Finite state transducer Automata theory Formal languages Models of computation
576	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
577	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
578	Prognosis of ω-languages for the Diagnosis of ∗-languages: A Topological Perspective Sophie Pinchinat∗, IRISA, France Andreas Bauer, ANU, Australia Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Symbol Regular language Automata theory Formal languages Omega language
579	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms
580	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods

UPDATE